Ordinary differential equations

Results: 2614



#Item
201Interpolation / Spline / Polynomial / Flat spline / Differential equation / Ordinary differential equation / Cubic Hermite spline / B-spline

DRAFT Declarative Equations, Compositional Strategies: Solving Differential Systems with Lazy Splines Functional Pearl Gershom Bazerman

Add to Reading List

Source URL: gbaz.github.io

Language: English - Date: 2016-02-29 17:49:20
202Game theory / Price of anarchy / Mathematical physics / Joseph Fourier / Ordinary differential equations / Fourier analysis / Mathematics

Edge pricing of multicommodity networks for selfish users with elastic demands (Extended abstract) George Karakostas∗ Stavros G. Kolliopoulos†

Add to Reading List

Source URL: www.cas.mcmaster.ca

Language: English - Date: 2006-04-17 13:50:05
203

The Picard Algorithm for Ordinary Differential Equations in Coq Bas Spitters VALS - LRI 23 May 2014

Add to Reading List

Source URL: www.cs.ru.nl

Language: English - Date: 2014-05-31 04:15:46
    204Metric geometry / Space / Mathematics / Topology / Structure / Topological spaces / Metric / Complete metric space / operator / Spectral theory of ordinary differential equations

    Some logical metatheorems with applications in functional analysis Ulrich Kohlenbach∗ BRICS† Department of Computer Science University of Aarhus

    Add to Reading List

    Source URL: www.mathematik.tu-darmstadt.de

    Language: English - Date: 2012-08-23 09:28:17
    205Operator theory / Hilbert space / Linear algebra / Spectral theory / Ordinary differential equations

    Bounds on Kuhfittig’s iteration schema in uniformly convex hyperbolic spaces Muhammad Aqeel Ahmad Khan1,2 , Ulrich Kohlenbach2,∗ Department of Mathematics, The Islamia University of Bahawalpur, Bahawalpur, 63100, Pak

    Add to Reading List

    Source URL: www.mathematik.tu-darmstadt.de

    Language: English - Date: 2012-12-11 10:49:24
    206Logic / Mathematics / Mathematical analysis / Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / Computability theory / operator / Spectral theory of ordinary differential equations

    Analyzing proofs in analysis∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe–Universit¨at Robert–Mayer–Str. 6–10, D–60054 Frankfurt am Main, Germany 1

    Add to Reading List

    Source URL: www.mathematik.tu-darmstadt.de

    Language: English - Date: 2012-11-16 10:10:27
    207Mathematics / Mathematical analysis / Algebra / Ordinary differential equations / Orthogonal polynomials / Method of undetermined coefficients / Exponentials / Lie groups / Matrix theory / Matrix exponential / Laguerre polynomials

    The complete generating function for Gessel walks is algebraic Alin Bostan (Algorithms Project, INRIA) joint work with

    Add to Reading List

    Source URL: caramba.loria.fr

    Language: English - Date: 2016-06-13 15:37:32
    208Thermodynamics / Ordinary differential equations / Control theory / Damping / Endoreversible thermodynamics / Determinacy / Carnot cycle / Symbol / Entropy / Ordinal number

    Underdamped stochastic heat engine at maximum efficiency Andreas Dechant,1 Nikolai Kiesel,2 and Eric Lutz1 arXiv:1602.00392v1 [cond-mat.stat-mech] 1 Feb

    Add to Reading List

    Source URL: aspelmeyer.quantum.at

    Language: English - Date: 2016-02-29 05:59:58
    209Mathematical analysis / Mathematics / Spectral theory / Actuarial science / Coherent risk measure / Financial risk / Mathematical finance / RadonNikodym theorem / Distribution / Spectral theory of ordinary differential equations / Decomposition of spectrum

    Elicitable distortion risk measures: a concise proof Ruodu Wang∗ and Johanna F. Ziegel† February 4, 2015 Abstract Elicitability has recently been discussed as a desirable property for risk

    Add to Reading List

    Source URL: sas.uwaterloo.ca

    Language: English - Date: 2015-02-04 11:36:05
    210Statistics / Mathematical analysis / Probability / Probability distributions / Generalization error / Normal distribution / Expected value / Spectral theory of ordinary differential equations / Beta distribution

    Dynamic Sensing: Better Classification under Acquisition Constraints

    Add to Reading List

    Source URL: jmlr.org

    Language: English - Date: 2015-09-16 19:38:47
    UPDATE